Robert Watson

Results: 164



#Item
31

Reflection in the Gryphon Message Brokering System Daniel Sturman Guruduth Banavar Robert Strom IBM T J. Watson Research Center

Add to Reading List

Source URL: www.research.ibm.com

- Date: 2005-05-17 15:11:45
    32

    Unpublished workshop paper for RESoLVE’12 - March 3, London, UK CHERI: a research platform deconflating hardware virtualization and protection Robert N.M. Watson

    Add to Reading List

    Source URL: www.engr.mun.ca

    - Date: 2015-01-04 23:00:53
      33

      Connecting the Dot Dots Model Checking Concurrency in Capsicum ASA-4 21 July 2010 Robert N. M. Watson Jonathan Anderson

      Add to Reading List

      Source URL: www.cl.cam.ac.uk

      Language: English - Date: 2010-08-04 06:18:20
        34

        Queues Don’t Matter When You Can JUMP Them! Matthew P. Grosvenor, Malte Schwarzkopf, Ionel Gog, Robert N. M. Watson, Andrew W. Moore, Steven Hand, and Jon Crowcroft, University of Cambridge https://www.usenix.org/confe

        Add to Reading List

        Source URL: www.usenix.org

        Language: English
          35

          Connecting the Dot-Dots: Model Checking Concurrency in a Security API Robert N. M. Watson∗ University of Cambridge Cambridge, UK

          Add to Reading List

          Source URL: www.engr.mun.ca

          Language: English - Date: 2015-01-04 23:00:53
            36

            Gryphon: An Information Flow Based Approach to Message Brokering Robert Strom, Guruduth Banavar, Tushar Chandra, Marc Kaplan, Kevan Miller, Bodhi Mukherjee, Daniel Sturman, and Michael Ward IBM TJ Watson Research Center,

            Add to Reading List

            Source URL: www.research.ibm.com

            Language: English - Date: 2005-05-17 15:10:58
              37

              Robert Watson Literary Prizes Fiction Prize $1000 Poetry Prize $1000 Annual Postmark Deadline: September 15th

              Add to Reading List

              Source URL: www.newpages.com

              Language: English - Date: 2015-05-21 15:38:48
                38

                How to keep bad papers out of conferences (with minimum reviewer effort) Jonathan Anderson, Frank Stajano and Robert Watson {firstname.lastname}@cl.cam.ac.uk March 11, 2011 Abstract

                Add to Reading List

                Source URL: www.engr.mun.ca

                Language: English - Date: 2015-01-04 23:00:53
                  39

                  Capsicum: practical capabilities for UNIX Robert N. M. Watson University of Cambridge Jonathan Anderson University of Cambridge

                  Add to Reading List

                  Source URL: www.scs.stanford.edu

                  Language: English - Date: 2013-01-06 23:50:49
                    40

                    NeSC Lattice QCD and eScience David Richards (Jefferson Laboratory) Robert Edwards Chip Watson

                    Add to Reading List

                    Source URL: www.nesc.ac.uk

                    Language: English - Date: 2002-10-09 05:48:48
                      UPDATE